\documentclass{article}

\usepackage{../../util}

\title{Automata and Formal Languages}
\author{Cambridge University Mathematical Tripos: Part II}

\begin{document}
\maketitle

\tableofcontentsnewpage{}

\section{Introduction}
\input{01_introduction.tex}
\section{Rewrite systems}
\input{02_rewrite_systems.tex}
\section{Regular languages}
\input{03_regular_languages.tex}
\section{Context-free languages}
\input{04_context_free_languages.tex}
\section{Register machines}
\input{05_register_machines.tex}
\section{Computability theory}
\input{06_computability_theory.tex}

\end{document}
